Structural Monoids Associated to Equational Varieties
نویسندگان
چکیده
منابع مشابه
Structural Monoids Associated to Equational Varieties
Monoids of elementary transformations are associated to certain equational varieties in order to describe the corresponding free objects; in some regular cases, these monoids reduce to groups, and the word problem for the free objects of the variety is connected with the existence of normal forms for the members of the associated group. 1. The general framework Let "V be an equational variety [...
متن کاملFUZZY EQUATIONAL CLASSES ARE FUZZY VARIETIES
In the framework of fuzzy algebras with fuzzy equalities and acomplete lattice as a structure of membership values, we investigate fuzzyequational classes. They consist of special fuzzy algebras fullling the samefuzzy identities, dened with respect to fuzzy equalities. We introduce basicnotions and the corresponding operators of universal algebra: construction offuzzy subalgebras, homomorphisms...
متن کاملHopf Monoids in Varieties
We show that entropic varieties provide the canonical setting for a generaliziation of Hopf algebra theory. In particular we show that all naturally occurring functors in this context have the expected adjoints, when generalized to this level. In particular, universal measuring comonoids exist over every entropic variety, as do generalized group algebras, and these carry a canonical Hopf struct...
متن کاملSome Varieties of Equational Logic
The application of ideas from universal algebra to computer science has long been a major theme of Joseph Goguen’s research, perhaps even the major theme. One strand of this work concerns algebraic datatypes. Recently there has been some interest in what one may call algebraic computation types. As we will show, these are also given by equational theories, if one only understands the notion of ...
متن کاملOn the Varieties of Languages Associated with Some Varieties of Finite Monoids with Commuting Idempotents
Eilenberg has shown that there is a one-to-one correspondence between varieties of finite monoids and varieties of recognizable languages. In this paper, we give a description of a variety of languages close to the class of piecewise testable languages considered by I. Simon. The corresponding variety of monoids is the variety of J -trivial monoids with commuting idempotents. This result is the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1993
ISSN: 0002-9939
DOI: 10.2307/2159161